Linear logic - PDFSEARCH.IO - Document Search Engine

Linear logic
Results: 927

#	Item
231	Microsoft Word - Q_A2.doc Add to Reading List Source URL: ihome.ust.hk Language: English - Date: 2009-02-23 14:42:35 Bra-ket notation Operator Linear temporal logic Schrödinger equation Physics Quantum mechanics Wave function
232	142 Mathematical Sciences BASIC AND APPLIED SCIENCES Add to Reading List Source URL: www.mtsu.edu Language: English - Date: 2015-03-03 05:48:58 Mathematical logic Calculus Linear algebra Applied mathematics Actuary Propositional calculus Precalculus Areas of mathematics Pi Mathematics education Mathematics Logic
233	A General LTL Framework for Describing Control Knowledge in Classical Planning Master’s Thesis Faculty of Science, University of Basel Add to Reading List Source URL: ai.cs.unibas.ch Language: English - Date: 2014-06-13 10:43:18 Heuristics Game artificial intelligence Combinatorial optimization Linear temporal logic Mathematics A* search algorithm Heuristic function Information science Temporal logic Search algorithms Artificial intelligence Routing algorithms
234	Aoraï Plugin Tutorial (A.k.a. LTL to ACSL) Nicolas Stouls and Virgile Prevosto , Add to Reading List Source URL: frama-c.com Language: English - Date: 2013-09-24 04:53:02 Automaton Technology Computing Automata theory Software Frama-C Linear temporal logic
235	Smaller Abstractions for ∀CTL∗ without Next? Kai Engelhardt1,2 and Ralf Huuck2,1 1 2 Add to Reading List Source URL: www.cse.unsw.edu.au Language: English - Date: 2008-10-07 02:12:02 Data management Interpretation Modal logic Symbol Linear temporal logic Logic Temporal logic Abstraction
236	154 Mathematical Sciences BASIC AND APPLIED SCIENCES Department of Mathematical Add to Reading List Source URL: www.mtsu.edu Language: English - Date: 2015-03-03 05:50:55 Mathematical logic Calculus Linear algebra Propositional calculus Applied mathematics Pi Precalculus Integral Mathematics education in Australia Mathematics education Mathematics Mathematical analysis
237	Keio University Thesis Abstract No. Registration Add to Reading List Source URL: www.flet.keio.ac.jp Language: English - Date: 2011-01-29 07:57:49 Logical syntax Formal languages Formal systems Logical truth Diagrammatic reasoning Mathematical proof Linear logic Formal proof Mathematical logic Logic Mathematics Proof theory
238	Implementation Notes for the Termination-Guaranteeing Binding-Time Analysis Arne John Glenstrup December 13, 2002 Abstract This note describes some of the implementation aspects of the termination analysis for partial ev Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:04:50 Symbol Spectral theory of ordinary differential equations Linear temporal logic
239	Error Invariants Evren Ermis1 , Martin Sch¨af2? , and Thomas Wies3 1 2 Add to Reading List Source URL: cs.nyu.edu Language: English - Date: 2012-06-06 07:57:01 Matrix theory Trace First-order logic Interpolation Symbol Μ operator Mathematics Logic Linear algebra
240	Chapter 1 Rewriting Nachum Dershowitz David A. Plaisted Add to Reading List Source URL: rewriting.loria.fr Language: English - Date: 2001-02-15 10:07:19 Applied mathematics Logic in computer science Mathematical logic Rewriting Computability theory Semi-Thue system Differential equation Normal form Linear equation Theoretical computer science Mathematics Formal languages

UPDATE